-
1 канонически перечислимый класс
canonically enumerable class матем.Русско-английский научно-технический словарь Масловского > канонически перечислимый класс
-
2 канонически перечислимый класс
Mathematics: canonically enumerable classУниверсальный русско-английский словарь > канонически перечислимый класс
См. также в других словарях:
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras … Wikipedia